• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 122 matches

• 2024
• 
  Lizhi Wang, Songyuan Zhang, Yifan Zhou, Chuchu Fan, Peng Zhang, Yacov A. Shamash:
  Physics-Informed, Safety and Stability Certified Neural Control for Uncertain Networked Microgrids. IEEE Trans. Smart Grid 15(1): 1184-1187 (2024)
• 
  Songyuan Zhang, Oswin So, Kunal Garg, Chuchu Fan:
  GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control. CoRR abs/2401.14554 (2024)
• 
  Yongchao Chen, Jacob Arkin, Yilun Hao, Yang Zhang, Nicholas Roy, Chuchu Fan:
  PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Preference Alignment. CoRR abs/2402.08702 (2024)
• 
  Allen M. Wang, Oswin So, Charles Dawson, Darren T. Garnier, Cristina Rea, Chuchu Fan:
  Active Disruption Avoidance and Trajectory Design for Tokamak Ramp-downs with Neural Differential Equations and Reinforcement Learning. CoRR abs/2402.09387 (2024)
• 2023
• 
  Kunal Garg, Charles Dawson, Kathleen Xu, Melkior Ornik, Chuchu Fan:
  Model-Free Neural Fault Detection and Isolation for Safe Control. IEEE Control. Syst. Lett. 7: 3169-3174 (2023)
• 
  Yue Meng, Chuchu Fan:
  Signal Temporal Logic Neural Predictive Control. IEEE Robotics Autom. Lett. 8(11): 7719-7726 (2023)
• 
  Ji Yin, Charles Dawson, Chuchu Fan, Panagiotis Tsiotras:
  Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Method Using Control Barrier Functions. IEEE Robotics Autom. Lett. 8(11): 7106-7113 (2023)
• 
  Charles Dawson, Sicun Gao, Chuchu Fan:
  Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control. IEEE Trans. Robotics 39(3): 1749-1767 (2023)
• 
  Kunal Garg, Chuchu Fan:
  Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. Allerton 2023: 1-7
• 
  Charles Dawson, Chuchu Fan:
  A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. CoRL 2023: 1706-1722
• 
  Songyuan Zhang, Kunal Garg, Chuchu Fan:
  Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control. CoRL 2023: 2373-2392
• 
  Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan:
  NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. EMNLP 2023: 15880-15903
• 
  Laura Lützow, Yue Meng, Andres S. Chavez Armijos, Chuchu Fan:
  Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability. ICRA 2023: 7886-7893
• 
  Mukun Tong, Charles Dawson, Chuchu Fan:
  Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. ICRA 2023: 10511-10517
• 
  Yue Meng, Chuchu Fan:
  Hybrid Systems Neural Control with Region-of-Attraction Planner. L4DC 2023: 1400-1415
• 
  Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan:
  Compositional Neural Certificates for Networked Dynamical Systems. L4DC 2023: 272-285
• 
  Oswin So, Chuchu Fan:
  Solving Stabilize-Avoid via Epigraph Form Optimal Control using Deep Reinforcement Learning. Robotics: Science and Systems 2023
• 
  Ji Yin, Charles Dawson, Chuchu Fan, Panagiotis Tsiotras:
  Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Approach Using Control Barrier Functions. CoRR abs/2302.11719 (2023)
• 
  Yue Meng, Sai Vemprala, Rogerio Bonatti, Chuchu Fan, Ashish Kapoor:
  ConBaT: Control Barrier Transformer for Safe Policy Learning. CoRR abs/2303.04212 (2023)
• 
  Yue Meng, Chuchu Fan:
  Hybrid Systems Neural Control with Region-of-Attraction Planner. CoRR abs/2303.10327 (2023)
• 
  Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan:
  Compositional Neural Certificates for Networked Dynamical Systems. CoRR abs/2303.14564 (2023)
• 
  Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan:
  NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. CoRR abs/2305.07766 (2023)
• 
  Oswin So, Chuchu Fan:
  Solving Stabilize-Avoid Optimal Control via Epigraph Form and Deep Reinforcement Learning. CoRR abs/2305.14154 (2023)
• 
  Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan:
  AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers. CoRR abs/2306.06531 (2023)
• 
  Songyuan Zhang, Chuchu Fan:
  Learning to Stabilize High-dimensional Unknown Systems Using Lyapunov-guided Exploration. CoRR abs/2306.08722 (2023)
• 
  Yue Meng, Chuchu Fan:
  Signal Temporal Logic Neural Predictive Control. CoRR abs/2309.05131 (2023)
• 
  Charles Dawson, Chuchu Fan:
  A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. CoRR abs/2309.08052 (2023)
• 
  Kunal Garg, Chuchu Fan:
  Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. CoRR abs/2309.09108 (2023)
• 
  Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan:
  Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems? CoRR abs/2309.15943 (2023)
• 
  Charles Dawson, Chuchu Fan:
  Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help. CoRR abs/2310.06956 (2023)

skipping 92 more matches